#include <cstdio>
int main()
{
    char map[3]={'W','T','F'};
    int i;
    int node[3];
    double odd[3],w,t,f;
    double  res=1.0;
    for(i=0;i<3;++i)
    {//读入数据的同时，记录最大odd
        scanf("%lf%lf%lf",&w,&t,&f);
        if(w>t&&w>f)
        {
            node[i]=0;
            odd[i]=w;
        }else if(t>f)
        {
            node[i]=1;
            odd[i]=t;
        }else{
            node[i]=2;
            odd[i]=f;
        }
        res*=odd[i];
    }
    res=(res*0.65-1)*2;
    printf("%c %c %c %.2f",map[node[0]],map[node[1]],map[node[2]],res);
    return  0;
}
